sémantique formelle (logique)中文是什么意思

• 逻辑语义学

• "sémantique"中文翻译    音标：[semãtik] n.f. 语义学 a. 语义的，语义学的，意义的 专业辞典 n.f.
• "formelle"中文翻译    专业辞典 adj.f 【数学】形式系统 adj.f 【哲】形式因
• "logique formelle" 中文翻译 :    数理逻辑
• "asémantique" 中文翻译 :    adj. phrase ~ [语言]无语义句专业辞典adj.【语言】无语意的，无意义的
• "sémantique" 中文翻译 :    音标：[semãtik]n.f. 语义学a. 语义的，语义学的，意义的专业辞典n.f.【语言】分析[结构]语义学n.f.【哲】普通语义学sémantiqueadj.语义的sémantiquef语义学
• "méthode formelle" 中文翻译 :    形式方法
• "série formelle" 中文翻译 :    形式幂级数
• "vérification formelle" 中文翻译 :    形式验证
• "formelle" 中文翻译 :    专业辞典adj.f【数学】形式系统adj.f【哲】形式因
• "analyse sémantique latente" 中文翻译 :    潜在语义学
• "glissement sémantique" 中文翻译 :    语义变化
• "norme sémantique" 中文翻译 :    语义标准
• "recherche sémantique" 中文翻译 :    语义检索
• "satiation sémantique" 中文翻译 :    语义饱和
• "sémantique axiomatique" 中文翻译 :    公理语义学
• "sémantique de kripke" 中文翻译 :    关系语义
• "web sémantique" 中文翻译 :    语义网
• "méthode formelle (informatique)" 中文翻译 :    形式化方法
• "mantique" 中文翻译 :    音标：[mãtik]n.f. 占卜
• "sécurité sémantique" 中文翻译 :    语义安全
• "mémoire sémantique" 中文翻译 :    语义记忆
• "réseau sémantique" 中文翻译 :    语义网络 (计算机科学)
• "sémantique dénotationnelle" 中文翻译 :    指称语义
• "sémantique opérationnelle" 中文翻译 :    操作语义学
• "analyse sémantique latente probabiliste" 中文翻译 :    概率潜在语义分析